w{-}queue($w$; $l$; $t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$nth\_tl($\parallel$w{-}rcvs($w$; $l$; $t$)$\parallel$;w{-}snds($w$; $l$; $t$))